package form;

import proposition.CompositeProposition;
import proposition.Literal;
import proposition.Operator;
import proposition.Proposition;
import proposition.Operator.OperatorType;

public class Main {

	public static void main(String[] args) {
		new ProverForm().setVisible(Boolean.TRUE);
	}
}
